# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.


$key = q//;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 0.38ex; vertical-align: 162.91ex; " SRC="|."$dir".q|img20.png"
 ALT="\begin{picture}(160,90)(0,-5)
\put(72,77){\line(-3,-1){46}}
\put(91,77){\line(3,...
...rK}
\put(72,37){I+C}
\put(58,17){L}
\put(96,17){R}
\put(74,-3){RA}
\end{picture}">|; 

$key = q/Diamond;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.28ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img22.png"
 ALT="$\Diamond$">|; 

$key = q/Diamond{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.92ex; vertical-align: 161.83ex; " SRC="|."$dir".q|img34.png"
 ALT="$\Diamond{^\prime}$">|; 

$key = q/bar{Theta}_{{DA}}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.85ex; vertical-align: 161.24ex; " SRC="|."$dir".q|img37.png"
 ALT="$\bar{\Theta}_{{DA}}^{}$">|; 

$key = q/bfn;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img14.png"
 ALT="$\bf n$">|; 

$key = q/bf{BA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img28.png"
 ALT="$\bf BA$">|; 

$key = q/bf{BM;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img9.png"
 ALT="$\bf BM$">|; 

$key = q/bf{DA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img30.png"
 ALT="$\bf DA$">|; 

$key = q/bf{DA^{B}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 161.45ex; " SRC="|."$dir".q|img5.png"
 ALT="$\bf DA^{B}_{}$">|; 

$key = q/bf{DA^{K}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 0.38ex; vertical-align: 162.72ex; " SRC="|."$dir".q|img7.png"
 ALT="$\bf DA^{K}_{}$">|; 

$key = q/bf{IDA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img25.png"
 ALT="$\bf IDA$">|; 

$key = q/bf{RA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.04ex; vertical-align: 161.70ex; " SRC="|."$dir".q|img8.png"
 ALT="$\bf RA$">|; 

$key = q/bf{RBA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img27.png"
 ALT="$\bf RBA$">|; 

$key = q/bf{RDA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.30ex; vertical-align: 161.38ex; " SRC="|."$dir".q|img24.png"
 ALT="$\bf RDA$">|; 

$key = q/bf{RRA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.66ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img29.png"
 ALT="$\bf RRA$">|; 

$key = q/bf{mbox{calA};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.60ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img10.png"
 ALT="$\bf\mbox{$\cal A$}$">|; 

$key = q/bf{mbox{calB};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.60ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img3.png"
 ALT="$\bf\mbox{$\cal B$}$">|; 

$key = q/bf{mbox{calB}{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.85ex; vertical-align: 161.89ex; " SRC="|."$dir".q|img32.png"
 ALT="$\bf\mbox{$\cal B$}{^\prime}$">|; 

$key = q/bf{mbox{calD};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.15ex; vertical-align: 162.66ex; " SRC="|."$dir".q|img2.png"
 ALT="$\bf\mbox{$\cal D$}$">|; 

$key = q/bf{mbox{calD}{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.66ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img31.png"
 ALT="$\bf\mbox{$\cal D$}{^\prime}$">|; 

$key = q/bf{mbox{calD}{^prime}{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img36.png"
 ALT="$\bf\mbox{$\cal D$}{^\prime}{^\prime}$">|; 

$key = q/bf{mbox{calK};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img4.png"
 ALT="$\bf\mbox{$\cal K$}$">|; 

$key = q/bf{mbox{calK}^{+}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.68ex; vertical-align: 160.55ex; " SRC="|."$dir".q|img38.png"
 ALT="$\bf\mbox{$\cal K$}^{+}_{}$">|; 

$key = q/bf{mbox{calK}{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.92ex; vertical-align: 161.83ex; " SRC="|."$dir".q|img33.png"
 ALT="$\bf\mbox{$\cal K$}{^\prime}$">|; 

$key = q/bigvee;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.30ex; vertical-align: 160.90ex; " SRC="|."$dir".q|img41.png"
 ALT="$\bigvee$">|; 

$key = q/bigvee_{{i<omega}}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.98ex; vertical-align: 161.01ex; " SRC="|."$dir".q|img39.png"
 ALT="$\bigvee_{{i&lt;\omega}}^{}$">|; 

$key = q/breve{{~}};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.04ex; vertical-align: 161.70ex; " SRC="|."$dir".q|img6.png"
 ALT="$\breve{{&nbsp;}}$">|; 

$key = q/cal{B};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.85ex; vertical-align: 161.89ex; " SRC="|."$dir".q|img35.png"
 ALT="$\cal {B}$">|; 

$key = q/dagb;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.28ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img13.png"
 ALT="$\dag b$">|; 

$key = q/diamond;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.04ex; vertical-align: 161.64ex; " SRC="|."$dir".q|img1.png"
 ALT="$\diamond$">|; 

$key = q/displaystylebreve{{~}};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 179.22ex; vertical-align: -0.11ex; " SRC="|."$dir".q|img17.png"
 ALT="$\displaystyle \breve{{&nbsp;}}$">|; 

$key = q/displaystylebreve{{~}}^{-}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 179.22ex; vertical-align: -0.68ex; " SRC="|."$dir".q|img19.png"
 ALT="$\displaystyle \breve{{&nbsp;}}^{-}_{}$">|; 

$key = q/displaystylecr;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 0.38ex; vertical-align: 163.30ex; " SRC="|."$dir".q|img18.png"
 ALT="$\displaystyle \cr$">|; 

$key = q/displaystyleeqno;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img16.png"
 ALT="$\displaystyle \eqno$">|; 

$key = q/displaystylehookrightarrow;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 18.65ex; vertical-align: 144.97ex; " SRC="|."$dir".q|img21.png"
 ALT="$\displaystyle \hookrightarrow$">|; 

$key = q/hookleftarrow;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.28ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img12.png"
 ALT="$\hookleftarrow$">|; 

$key = q/hookrightarrow;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.79ex; vertical-align: 161.96ex; " SRC="|."$dir".q|img11.png"
 ALT="$\hookrightarrow$">|; 

$key = q/models;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.36ex; vertical-align: 160.74ex; " SRC="|."$dir".q|img40.png"
 ALT="$\models$">|; 

$key = q/not=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.09ex; vertical-align: 162.21ex; " SRC="|."$dir".q|img15.png"
 ALT="$\not=$">|; 

$key = q/notin;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.66ex; vertical-align: 161.63ex; " SRC="|."$dir".q|img26.png"
 ALT="$\not\in$">|; 

$key = q/sum_{i}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.60ex; vertical-align: 162.07ex; " SRC="|."$dir".q|img23.png"
 ALT="$\sum_{i}^{}$">|; 

1;

